A Knowledge Representation Scheme Using Ordinary Words and the Inference Mechanism on Order-sorted Logic
نویسندگان
چکیده
منابع مشابه
Knowledge Representation of Design in Many-Sorted Logic
The pape r p r e s e n t s a f o r m a l t o o l o f m o d e l l i n g o f c o n s t r u c t i o n a l d e s i g n , where t h e c a r d i n a l i s s u e i s knowledge r e p r e s e n t a t i o n . I t i s shown t h a t t h e s t r u c t u r e s o f c l a s s i c a l m a t h e m a t i c a l l o g i c , such a s t t y p e m a n y s o r t e d m o d e l s , can b e a p p l i e d a l m o s t d i r...
متن کاملDescription Logic and Order-sorted Logic
I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we...
متن کاملInference Procedures for Fuzzy Knowledge Representation Scheme
This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...
متن کاملScheme representation for first-order logic
Recall that every commutative ring R determines an affine scheme in algebraic geometry. This consists of two components: a topological space Spec(R) (the spectrum) and a sheaf of local rings OR (the structure sheaf). In this way, a scheme encodes both geometric and algebraic data. In this work, we present a construction of “logical schemes,” geometric entities which represent logical theories i...
متن کاملDescription Logic vs. Order-Sorted Feature Logic
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the kind used for the Semantic Web. Introduction The advent of the Semantic Web has spurred a great deal of interest in various Knowldege Representation formalisms for expressing, and reasoning with, so-called formal ont...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Japanese Society for Artificial Intelligence
سال: 2008
ISSN: 1346-0714,1346-8030
DOI: 10.1527/tjsai.23.540